| 翻訳と辞書 |
| Maschke's theorem ： ウィキペディア英語版 |
Maschke's theorem
In mathematics, Maschke's theorem, named after Heinrich Maschke, is a theorem in group representation theory that concerns the decomposition of representations of a finite group into irreducible pieces. If (''V'', ''ρ'') is a finite-dimensional representation of a finite group ''G'' over a field of characteristic zero, and ''U'' is an invariant subspace of ''V'', then the theorem claims that ''U'' admits an invariant direct complement ''W''; in other words, the representation (''V'', ''ρ'') is completely reducible. More generally, the theorem holds for fields of positive characteristic ''p'', such as the finite fields, if the prime ''p'' does not divide the order of ''G.''
== Reformulation and the meaning ==
One of the approaches to representations of finite groups is through module theory. ''Representations'' of a group ''G'' are replaced by ''modules'' over its group algebra ''K''(). Irreducible representations correspond to simple modules. Maschke's theorem addresses the question: is a general (finite-dimensional) representation built from irreducible subrepresentations using the direct sum operation? In the module-theoretic language, is an arbitrary module semisimple? In this context, the theorem can be reformulated as follows:
Maschke's Theorem. Let ''G'' be a finite group and ''K'' a field whose characteristic does not divide the order of ''G''. Then ''K''(), the group algebra of ''G'', is semisimple.〔It follows that every module over ''K''() is a semisimple module.〕〔The converse statement also holds: if the characteristic of the field divides the order of the group (the ''modular case''), then the group algebra is not semisimple.〕
The importance of this result stems from the well developed theory of semisimple rings, in particular, the Artin–Wedderburn theorem (sometimes referred to as Wedderburn's Structure Theorem). When ''K'' is the field of complex numbers, this shows that the algebra ''K''() is a product of several copies of complex matrix algebras, one for each irreducible representation.〔The number of the summands can be computed, and turns out to be equal to the number of the conjugacy classes of the group.〕 If the field ''K'' has characteristic zero, but is not algebraically closed, for example, ''K'' is a field of real or rational numbers, then a somewhat more complicated statement holds: the group algebra ''K''() is a product of matrix algebras over division rings over ''K''. The summands correspond to irreducible representations of ''G'' over ''K''.〔One must be careful, since a representation may decompose differently over different fields: a representation may be irreducible over the real numbers but not over the complex numbers.〕
Returning to representation theory, Maschke's theorem and its module-theoretic version allow one to make general conclusions about representations of a finite group ''G'' without actually computing them. They reduce the task of classifying all representations to a more manageable task of classifying irreducible representations, since when the theorem applies, any representation is a direct sum of irreducible pieces (constituents). Moreover, it follows from the Jordan–Hölder theorem that, while the decomposition into a direct sum of irreducible subrepresentations may not be unique, the irreducible pieces have well-defined multiplicities. In particular, a representation of a finite group over a field of characteristic zero is determined up to isomorphism by its character.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Maschke's theorem」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|